1. Temporal logic and state systems
Author: Kroger, Fred, 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4K76
2. Temporal logic and state systems
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
K76
2008
3. Temporal logic: from ancient ideas to artificial intelligence
Author: Ohrstrom, Peter.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
O37
1995
